Parisi Presicce, Francesco: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Parallelism and concurrency in high-level replacement systems

Ehrig, Hartmut, Habel, Annegret, Kreowski, Hans-Jörg, Parisi-Presicce, Francesco

Journal:

Mathematical Structures in Computer Science

Year:

1991

Language:

english

File:

PDF, 5.95 MB

english, 1991

2

Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems

Martin Große-Rhode, Francesco Parisi Presicce, Marta Simeoni

Journal:

Journal of Computer and System Sciences

Year:

2002

Language:

english

File:

PDF, 330 KB

english, 2002

3

Extensions of iterative congruences on free iterative algebras

Francesco Parisi-Presicce

Journal:

Journal of Computer and System Sciences

Year:

1983

Language:

english

File:

PDF, 1.06 MB

english, 1983

4

Implementation of data types by algebraic methods

Edward K. Blum, Francesco Parisi-Presicce

Journal:

Journal of Computer and System Sciences

Year:

1983

Language:

english

File:

PDF, 1.89 MB

english, 1983

5

Union and actualization of module specifications: Some compatibility results

Francesco Parisi-Presicce

Journal:

Journal of Computer and System Sciences

Year:

1987

Language:

english

File:

PDF, 1.34 MB

english, 1987

6

Iteractive factor algebras and induced metrics

Francesco Parisi-Presicce

Journal:

Theoretical Computer Science

Year:

1983

Language:

english

File:

PDF, 1.24 MB

english, 1983

7

Policy Analysis and Verification by Graph Transformation Tools

Francesco Parisi-Presicce, Yujie Zhao

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 474 KB

english, 2005

8

Higher-Order Nets for Mobile Policies

Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 377 KB

english, 2005

9

Graph-based specification of access control policies

Manuel Koch, L.V. Mancini, Francesco Parisi-Presicce

Journal:

Journal of Computer and System Sciences

Year:

2005

Language:

english

File:

PDF, 412 KB

english, 2005

10

On the complexity of specification morphisms

Serafino Cicerone, Francesco Parisi-Presicce

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 695 KB

english, 1997

11

Coordinated Distributed Diagram Transformation for Software Evolution

Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 146 KB

english, 2003

12

On Modifying High Level Replacement Systems

Francesco Parisi-Presicce

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 166 KB

english, 2001

13

UML specification of access control policies and their formal verification

Manuel Koch, Francesco Parisi-Presicce

Journal:

Software & Systems Modeling

Year:

2006

Language:

english

File:

PDF, 1.10 MB

english, 2006

14

Special section: International Conference on Graph Transformation ICGT 2004

Francesco Parisi-Presicce

Journal:

Software & Systems Modeling

Year:

2007

Language:

english

File:

PDF, 58 KB

english, 2007

15

Combining data type and recursive process specifications using projection algebras

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Cristian Dimitrovici, Martin Grosse-Rhode

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 3.56 MB

english, 1990

16

Compatibility problems in the development of algebraic module specifications

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 5.39 MB

english, 1990

17

Foundations of rule-based design of modular systems

Francesco Parisi-Presicce

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.61 MB

english, 1991

18

Termination of High-Level Replacement Units with Application to Model Transformation

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 315 KB

english, 2005

19

Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse

Paolo Bottoni, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 301 KB

english, 2008

20

Graph Transformations for the Specification of Access Control Policies

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 280 KB

english, 2002

21

High-level replacement units and their termination properties

Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi Presicce, Gabriele Taentzer

Journal:

Journal of Visual Languages & Computing

Year:

2005

Language:

english

File:

PDF, 340 KB

english, 2005

22

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Representing First-Order Logic Using Graphs

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 333 KB

english, 2004

23

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 ||

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 5.78 MB

english, 2004

24

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || The Potential of a Chemical Graph Transformation System

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 261 KB

english, 2004

25

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Synchronizers for Local Computations

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 231 KB

english, 2004

26

Spider Graphs: a graph transformation system for spider diagrams

Bottoni, Paolo, Fish, Andrew, Parisi Presicce, Francesco

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 2.87 MB

english, 2015

27

Formal model and policy specification of usage control

Zhang, Xinwen, Parisi-Presicce, Francesco, Sandhu, Ravi, Park, Jaehong

Journal:

ACM Transactions on Information and System Security

Year:

2005

Language:

english

File:

PDF, 285 KB

english, 2005

28

Annotation processes for flexible management of contextual information

Bottoni, Paolo, Parisi Presicce, Francesco

Journal:

Journal of Visual Languages & Computing

Year:

2013

Language:

english

File:

PDF, 4.75 MB

english, 2013

29

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 1376 || An inductive view of graph transformation

Presicce, Francesco Parisi

Year:

1998

Language:

english

File:

PDF, 930 KB

english, 1998

30

Risky trust

Dwaikat, Zaid, Parisi-Presicce, Francesco

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 133 KB

english, 2005

31

[ACM Press the 2003 ACM workshop - Washington, D.C. (2003.10.30-..)] Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 - Formal access control analysis in the software development process

Koch, Manuel, Parisi-Presicce, Francesco

Year:

2003

Language:

english

File:

PDF, 906 KB

english, 2003

32

[ACM Press the 2005 workshop - St. Louis, Missouri (2005.05.15-2005.05.16)] Proceedings of the 2005 workshop on Software engineering for secure systems---building trustworthy applications - SESS '05 - Risky trust

Dwaikat, Zaid, Parisi-Presicce, Francesco

Year:

2005

Language:

english

File:

PDF, 133 KB

english, 2005

33

A graph-based formalism for RBAC

Koch, Manuel, Mancini, Luigi V., Parisi-Presicce, Francesco

Journal:

ACM Transactions on Information and System Security

Year:

2002

Language:

english

File:

PDF, 800 KB

english, 2002

34

An algebraic theory of class specification

Parisi-Presicce, Francesco, Pierantonio, Alfonso

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1994

Language:

english

File:

PDF, 1.98 MB

english, 1994

35

[ACM Press the thirteenth annual ACM symposium - Milwaukee, Wisconsin, United States (1981.05.11-1981.05.13)] Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - On the faithful regular extensions of iterative algebras

Parisi-Presicce, Francesco

Year:

1981

Language:

english

File:

PDF, 292 KB

english, 1981

36

[ACM Press the ninth ACM symposium - Yorktown Heights, New York, USA (2004.06.02-2004.06.04)] Proceedings of the ninth ACM symposium on Access control models and technologies - SACMAT '04 - A logical specification for usage control

Zhang, Xinwen, Park, Jaehong, Parisi-Presicce, Francesco, Sandhu, Ravi

Year:

2004

Language:

english

File:

PDF, 142 KB

english, 2004

37

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 ||

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 20.46 MB

english, 2015

38

Removing permissions in the flexible authorization framework

Wijesekera, Duminda, Jajodia, Sushil, Parisi-Presicce, Francesco, Hagström, Åsa

Journal:

ACM Transactions on Database Systems

Year:

2003

Language:

english

File:

PDF, 203 KB

english, 2003

39

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 || Towards Compliance Verification Between Global and Local Process Models

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 2.54 MB

english, 2015

40

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 75 KB

english, 2004

41

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 || Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 1.85 MB

english, 2015

42

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 || Towards Local Confluence Analysis for Amalgamated Graph Transformation

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 1.56 MB

english, 2015

43

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 || Tool Support for Multi-amalgamated Triple Graph Grammars

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 1.09 MB

english, 2015

44

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 || Inductive Invariant Checking with Partial Negative Application Conditions

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 663 KB

english, 2015

45

Resource-aware policies

Bottoni, Paolo, Fish, Andrew, Heußner, Alexander, Presicce, Francesco Parisi

Journal:

Journal of Visual Languages & Computing

Year:

2016

Language:

english

File:

PDF, 2.53 MB

english, 2016

46

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 80 KB

english, 2004

47

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Extending Graph Rewriting for Refactoring

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

File:

PDF, 320 KB

2004

48

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Model Checking Graph Transformations: A Comparison of Two Approaches

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

File:

PDF, 416 KB

2004

49

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

File:

PDF, 361 KB

2004